How to find Principal Domain and Principal Solution of cotangent x